Une approche IDM de transformation exogène de Wright vers Ada
نویسنده
چکیده
The formal ADL Wright allows to describe the structural and behavioral aspects ofabstract software architecture. The behavioral aspects are described in CSP and checked using themodel-checker FDR. While the ADL Wright does not offer any means to realize such architecturesabstract. The objective of this work is to open up the ADL Wright for Ada through an automatedapproach based on MDE. To achieve this, we have developed two Ecore meta-models: the meta-model Wright and the partial meta-model of Ada. Moreover, we have designed, built and tested ourprogram Wright2Ada written in ATL to transform software architecture described in Wright to aconcurrent program in Ada.Key-words: MDE, Exogenous transformation, ATL, Injection, Xtext, Wright, Extraction, Xpand,Ada and Check.
منابع مشابه
L'influence du mysticisme islamique sur l'éducation iranienne
Il faut savoir que le mysticisme a eu toujours de grandes influences sur tout ce qui concerne la vie et la culture iraniennes, surtout sur l’éducation qui est une étape très importante dans la formation de l’avenir de la jeunesse. C’est vrai, le mysticisme est une approche individualiste alors que l’éducation reste une affaire collective et sociale. Comment arrive-t-il, étant une pratique perso...
متن کاملModel Transformations from a Data Parallel Formalism towards Synchronous Languages
The increasing complexity of embedded system designs calls for high-level specification formalisms and for automated transformations towards lower-level descriptions. In this report, a metamodel and a transformation chain are defined from a high-level modeling framework, Gaspard, for data-parallel systems towards a formalism of synchronous equations. These equations are translated in synchronou...
متن کاملApproche pour un meilleur alignement des processus métiers. De la modélisation à l'implémentation
RÉSUMÉ. Une entreprise doit être capable de décrire et de demeurer réactive face à un évènement endogène ou exogène. Une telle flexibilité peut s’obtenir par la gestion des processus d’entreprise. Lors d’une telle démarche, différentes transformations interviennent sur les modèles de processus développés par l’analyste métier et l’expert en technologies de l’information (TI). Un non-alignement ...
متن کاملTransformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel
RÉSUMÉ. Dans un modèle conceptuel, les contraintes d'intégrité représentent une partie intégrante dont la définition est nécessaire pour exprimer aux mieux la sémantique du réel perçu. Toutefois, ces contraintes même si elles sont exprimées au niveau conceptuel, elles sont très souvent ignorées lors du passage vers le niveau logique. En pratique, la majorité des AGL de modélisation ne supporten...
متن کاملMéta-modélisation de la transformation de modèles par l'exemple : approche par méta-heuristiques
Résumé. La plupart des contributions en transformation de modèles sont concernées par la définition de langages pour exprimer des règles de transformation. La définition de ces règles est une tâche difficile, car de nombreux problèmes, liés à l’écriture/génération des règles, doivent être anticipés surtout dans le cas des formalismes source/cible qui ne sont pas largement utilisés. Dans cet art...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1207.6831 شماره
صفحات -
تاریخ انتشار 2010